It is a theorem of Rowbottom [12] that ifκis measurable andIis a normal prime ideal onκ, then for eachλ<κ,In this paper a natural structural property of ideals, distributivity, is considered and shown to be related to this and other ideal theoretic partition relations.The set theoretical terminology is standard and background results on the theory of ideals may be found in [5] and [8]. Throughoutκwill denote an uncountable regular cardinal, andIa proper, nonprincipal,κ-complete ideal onκ.NSκis the ideal of nonstationary subsets ofκ, andIκ= (...) {X⊆κ∣∣X∣<κ}. IfA∈I+ −I), then anI-partitionofAis a maximal collectionW⊆,P ∩I+so thatX∩ Y ∈IwheneverX, Y∈W, X≠Y. TheI-partitionWis said to be disjoint if distinct members ofWare disjoint, and in this case, fordenotes the unique member ofWcontainingξ. A sequence 〈Wα∣α<η} ofI-partitions ofAis said to be decreasing if wheneverα<β<ηandX∈Wβthere is aY∈Wαsuch thatX⊆Y.. (shrink)

It is a theorem of Prikry [7] that ifκcarries a uniformη-descendingly complete ultrafilter then the stationary reflection propertyfails. In this paper we will derive similar results, but here from properties of filters rather than ultrafilters.Throughoutκandηwill denote regular cardinals withη<κ, andIwill denote an ideal onκ, by which we mean a setI⊆P such that Iis closed under taking subsets and finite unions and αЄIfor eachα<κ, butκ∉I.Iis said to beμ-complete if it is closed under taking unions of size <μ,I* = {X⊆κ∣κ−XЄI} is the (...) filter dual toIand ifAЄI+ −I), thenI∣Ais the ideal onκgiven byI∣A= {X⊆κ∣X∩AЄI}. Ifh: A→κthenhis said to be unbounded modIif for eachα<κ,h−1 = {ξЄA∣h<α} ЄIand a least function forIifhis unbounded modIand wheneverg: A→κis a function, unbounded modI, then {ξЄA∣g{ξ) shrink)